大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 ACM Symposium on Principles of Programming Languages (4th : 1977 : Los Angeles) 的图书(共7694本)

FM 2008: Formal Methods [electronic resource] : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

0
索取号:
作者:Cuellar、 Jorge.、Maibaum、 Tom.、Sere、 Kaisa.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 5th International Conference, CPAIOR 2008 Paris, France, May 20-23, 2008 Proceedings

0
索取号:
作者:Perron、 Laurent.、Trick、 Michael A.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Service-Oriented Computing-ICSOC 2006 [electronic resource] : 4th International Conference, Chicago, IL, USA, December 4-7, 2006. Proceedings

0
索取号:
作者:Dan、 Asit.、Lamersdorf、 Winfried.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Service Availability [electronic resource] : 5th International Service Availability Symposium, ISAS 2008 Tokyo, Japan, May 19-21, 2008 Proceedings

0
索取号:
作者:Nanya、 Takashi.、Maruyama、 Fumihiro.、Pataricza、 Andr谩s.、Malek、 Miroslaw.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.

Foundations of Intelligent Systems [electronic resource] : 17th International Symposium, ISMIS 2008 Toronto, Canada, May 20-23, 2008 Proceedings

0
索取号:
作者:An、 Aijun.、Matwin、 Stan.、Ra艣、 Zbigniew W.、艢l臋zak、 Dominik.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Parallel and Distributed Processing and Applications [electronic resource] : 4th International Symposium, ISPA 2006, Sorrento, Italy, December 4-6, 2006. Proceedings

0
索取号:
作者:Guo、 Minyi.、Yang、 Laurence T.、Martino、 Beniamino.、Zima、 Hans P.、Dongarra、 Jack.、Tang、 Feilong.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Biological and Medical Data Analysis [electronic resource] : 7th International Symposium, ISBMDA 2006, Thessaloniki, Greece, December 7-8, 2006. Proceedings

0
索取号:
作者:Maglaveras、 Nicos.、Chouvarda、 Ioanna.、Koutkias、 Vassilis.、Brause、 R眉diger.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Principles of Distributed Systems [electronic resource] : 10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006. Proceedings

0
索取号:
作者:Shvartsman、 Mariam Momenzadeh Alexander A.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006. Proceedings

0
索取号:
作者:Datta、 Ajoy K.、Gradinariu、 Maria.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Algorithms and Computation [electronic resource] : 17th International Symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006. Proceedings

0
索取号:
作者:Asano、 Tetsuo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computer Processing of Oriental Languages. Beyond the Orient: The Research Challenges Ahead [electronic resource] : 21st International Conference, ICCPOL 2006, Singapore, December 17-19, 2006. Proceedings

0
索取号:
作者:Matsumoto、 Yuji.、Sproat、 Richard W.、Wong、 Kam-Fai.、Zhang、 Min.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Chinese Spoken Language Processing [electronic resource] : 5th International Symposium, ISCSLP 2006, Singapore, December 13-16, 2006. Proceedings

0
索取号:
作者:Huo、 Qiang.、Ma、 Bin.、Chng、 Eng-Siong.、Li、 Haizhou.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Multi-slice and Dual-source CT in Cardiac Imaging [electronic resource] : Principles 鈥вotocols 鈥ɮdications 鈥ϵtlook

0
索取号:
作者:Ohnesorge、 Bernd M.、Flohr、 Thomas G.、Becker、 Christoph R.、Knez、 Andreas.、Reiser、 Maximilian F.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Controlled Nanoscale Motion [electronic resource] : Nobel Symposium 131

0
索取号:
作者:Linke、 Heiner.、M氓nsson、 Alf.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Web and Wireless Geographical Information Systems [electronic resource] : 6th International Symposium, W2GIS 2006, Hong Kong, China, December 4-5, 2006. Proceedings

0
索取号:
作者:Carswell、 James D.、Tezuka、 Taro.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Dynamic Planet [electronic resource] : Monitoring and Understanding a Dynamic Planet with Geodetic and Oceanographic Tools IAG Symposium Cairns, Australia 22鈥ⶠAugust, 2005

0
索取号:
作者:Tregoning、 Paul.、Rizos、 Chris.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
最近添加的分类